Iterated Belief Revision

Iterated Belief Revision, Revised

A central aspect of commonsense reasoning is to sensibly revise one’s beliefs about the world in the presence of new information. The AGM postulates for belief revision, augmented by the DP postulates for iterated belief revision, provide generally accepted criteria for the design of operators by which intelligent agents adapt their beliefs incrementally to new information. These postulates alo...

A Conditional Logic for Iterated Belief Revision

In this paper we propose a conditional logic IBC to represent iterated belief revision. We define an iterated belief revision system by strengthening the postulates proposed by Darwiche and Pearl [3]. First, following the line of Darwiche and Pearl, we modify AGM postulates to make belief revision a function of epistemic states rather than of belief sets. Then we propose a set of postulates for...

Belief Revision Conditionals: Basic Iterated Systems

Iterated Belief Revision: A Computational Approach

The capability of revising its beliefs upon new information in a rational and efficient way is crucial for an intelligent agent. The classic AGM theory studies mathematically idealized models of belief revision in two aspects: the properties (i.e., the AGM postulates) a rational revision operator should satisfy; and how to construct concrete revision operators. In scenarios where new informatio...

Multiple Iterated Belief Revision Without Independence

Multiple iterated revision needs advanced belief revision techniques beyond the classical AGM theory that are able to integrate several (propositional) pieces of new information into epistemic states. A crucial feature of this kind of revision is that the multiple pieces of information should be dealt with separately, which has usually been understood as requiring some kind of independence amon...